Anonymous function

Results: 196



#Item
61Software engineering / Computer programming / Declarative programming / Subroutines / Lambda calculus / Functional programming / Fold / Recursion / Anonymous function / Inline expansion / Term

Loosing Functions Without Gaining Data

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
62Software engineering / Declarative programming / Computer programming / Lambda calculus / Functional programming / Subroutines / Formal methods / Theoretical computer science / Combinatory logic / Let expression / Lambda lifting / Anonymous function

c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
63Software engineering / Mathematics / Declarative programming / Lambda calculus / Functional programming / Functions and mappings / Let expression / Embedding / Monad / Anonymous function

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
64Software engineering / Computer programming / Declarative programming / Functional programming / Lambda calculus / Subroutines / Functional languages / Literate programming / Monad / Let expression / Glasgow Haskell Compiler / Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
65Software engineering / Computer programming / Computing / Type theory / Data types / Polymorphism / Object-oriented programming / Subroutines / Covariance and contravariance / Parameter / Type system / Anonymous function

Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT

Add to Reading List

Source URL: karpinski.org

Language: English - Date: 2016-04-13 16:19:52
66Software engineering / Computer programming / Recursion / Subroutines / Theoretical computer science / Computability theory / Fibonacci number / Linked list / Corecursion / Anonymous function

PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Recursion Activity Guidelines

Add to Reading List

Source URL: cahsi.cs.utep.edu

Language: English - Date: 2015-08-19 15:21:39
67Software engineering / Computer programming / Computing / Lambda calculus / Subroutines / Models of computation / Functional programming / Theoretical computer science / Lisp / Eval / Expression / Anonymous function

Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Add to Reading List

Source URL: cs.au.dk

Language: English - Date: 2006-06-22 08:55:47
68Software engineering / Computer programming / Declarative programming / Functional programming / Data types / Type theory / Eval / Standard ML / Anonymous function / HindleyMilner type system / OCaml / Polymorphism

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2005-02-23 20:45:34
69Software engineering / Computer programming / Declarative programming / Lambda calculus / Functional programming / Functional languages / Subroutines / Theoretical computer science / Eval / Lazy evaluation / Lisp / Anonymous function

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2009-03-28 07:22:07
70Functional programming / Concurrent programming languages / Functional languages / Object-oriented programming languages / Parallel computing / Scala / Pattern matching / Dataflow / Concurrent computing / Anonymous function / Subroutine / Immutable object

DFScala: High Level Dataflow Support for Scala Daniel Goodman, Salman Khan, Chris Seaton, Yegor Gusgov, Behram Khan, Mikel Luján and Ian Watson Workshop on Data-Flow Execution Models for Extreme Scala Computing

Add to Reading List

Source URL: chrisseaton.com

Language: English - Date: 2016-02-28 16:25:13
UPDATE